/*
 * RDyR.h
 *
 *  Created on: May 15, 2012
 *      Author: kobe
 */

#ifndef RDYR_H_
#define RDYR_H_

#include "Rule.h"

class R_DyR: public Rule {
public:
	R_DyR();
	virtual ~R_DyR();
	std::vector<Sequent*> run(Sequent* s) ;
	std::string toString();
	std::string toLatex();
};

#endif /* RDYR_H_ */
